Ada programming language - PDFSEARCH.IO - Document Search Engine

Ada programming language
Results: 260

#	Item
241	A#: Multilanguage Programming with Ada in .NET Add to Reading List Source URL: www.sigada.org Language: English - Date: 2003-11-25 08:06:31 Integrated development environments Acronyms GNAT Ada Computing platforms Microsoft Windows SDK Microsoft Visual Studio .NET Framework A Sharp Computing Software Ada programming language
242	Issues with using Ravenscar and the Ada Distributed Systems Annex for High-Integrity Systems Neil Audsley and Andy Wellings Add to Reading List Source URL: www.sigada.org Language: English - Date: 2002-07-01 15:33:24 Inter-process communication Ada programming language Ada Ravenscar profile SPARK Remote procedure call Operating system Message passing Communications protocol Computing Software engineering Computer programming
243	Extended Pascal ISO 10206:1990 Add to Reading List Source URL: www.standardpascal.org Language: English - Date: 2013-03-12 02:58:42 Procedural programming languages Standards organizations Query languages Pascal SQL Ada American National Standards Institute C International Organization for Standardization Computing Software engineering Programming language theory
244	The problem of a common language, especially for scientific numeral work (motives, restrictions, aims and results of the Zurich Conference on ALGOL) Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2010-05-03 12:21:07 Procedural programming languages ALGOL C Relational operator Ada Mathematical notation Boolean data type Programming language ALGOL 60 Software engineering Computing Programming language theory
245	43 The Psychology of Computer Programming Add to Reading List Source URL: www.dorsethouse.com Language: English - Date: 2010-05-07 14:53:41 Programming paradigms Gerald Weinberg Egoless programming Programmer Computer programming Programming team Programming language Logic programming Ada Computing Software engineering Software development
246	The Embedded Muse 90 Editor: Jack Ganssle ([removed]) Add to Reading List Source URL: www.ganssle.com Language: English - Date: 2013-09-20 09:38:17 Ada programming language Embedded system SPARK Ada Computer Internet Ethernet Computing Software engineering Computer programming
247	Correctness by Construction: Developing a Commercial Secure System Anthony Hall and Roderick Chapman Add to Reading List Source URL: www.anthonyhall.org Language: English - Date: 2009-06-24 07:47:13 Formal methods Program analysis Ada programming language SPARK Formal verification Static program analysis Common Criteria Software development process Requirement Computing Software engineering Programming language theory
248	PDF Document Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-10-27 16:27:05 Computer programming Canadian space program Ada Canadarm2 GNAT Canadarm Embedded system DDC-I Computing Ada programming language Software engineering
249	SPARK 95 - The SPADE Ada 95 Kernel Add to Reading List Source URL: intelligent-systems.altran.com Language: English - Date: 2012-12-03 10:40:41 Procedural programming languages Ada programming language SPARK Ada Cross-platform software Altran Praxis Pascal Linux kernel C Computing Software engineering Programming language theory
250	PDF Document Add to Reading List Source URL: history.dcs.ed.ac.uk Language: English - Date: 2008-10-13 15:05:29 Procedural programming languages ALGOL Pascal Coral 66 PL/I ICT 1900 series Whetstone Mary Ada Programming language theory Software engineering Computing

UPDATE